Access Control is now enabled for Gitlab Pages so you can now restrict Pages to authorized users only. If needed, make your website publicly available : Navigate to your project's Settings > General > Visibility and select Everyone in pages section.

Commit e6b49d1a authored by Tony Licata's avatar Tony Licata

added PV09, changed 07_consult.pl test unit

parent 2d5328d6
consultstring(~test(10). test(12). string(abc).~).
test(A), string(abc), test(12).
is(A,'**'(2,10)).
is(2,'+'(1,1)).
test(B), is(C,'*'(B,B)).
consult('./tests/07_consult_clauses.pl.excluded').
'='(Clauses,~test(10). test(12). string(abc).~), consultstring(Clauses).
'='(Ten,10), test(TenFromClause), '='(Ten, TenFromClause).
\ No newline at end of file
% consultstring/1
% consult('./tests/07_consult_clauses.pl.excluded').
yes
% test(A), string(abc), test(12).
A = 10
% '='(Clauses,~test(10). test(12). string(abc).~), consultstring(Clauses).
Clauses = test(10). test(12). string(abc).
yes
% is(A,'**'(2,10)).
A = 1024
yes
% is(2,'+'(1,1)).
yes
% test(B), is(C,'*'(B,B)).
B = 10
C = 100
%'='(Ten,10), test(TenFromClause), '='(Ten, TenFromClause).
Ten = 10
TenFromClause = 10
yes
% EOF
yes
\ No newline at end of file
% This test checks the following things :
% - useinterpreter/0
% This test checks the following builtins :
% - consult/1
% - consultstring/1
% - is/2
% - multiple goals in one request
% To test those, the consultstring is present in the 07_newpredicates.input file.
% - =/2, to unify variables with filenames
% To test those, the consultstring is present in the 07_consult.input file.
useinterpreter.
\ No newline at end of file
added_clause(test).
hello(world).
\ No newline at end of file
![Logo HEIAFR](logo.png)
# PV de séance du 15.07, 10h30
Membres : Frédéric Bapst, Tony Licata
Lieu : domicile
## Ordre du jour
- validation du précédant PV
- avancements du rapport
- benchmarks établis
- tests unitaires ajoutés
- clean du code et ajout de commentaires
## Validation du précédant PV
le précédant PV a été validé
## Objectifs du projet
- utiliser le JIT durant les benchmarks? -> Non, nous sommes au courant des points qui ralentissent ProloGraal, désactiver le JIT pour effectuer de nouvelles mesures n'est pas pertinent
- écriture simplifiée de is/2: jeter un oeil sur la grammaire ANTLR de SimpleLanguage (prio des opérations, associativité)
## Rapport
- clarification du modèle du résumé du projet: les quelques caractéristiques du projet ont été clarifiés directement sur le document de résumé
## Tâches à réaliser
- ajouter les derniers tests unitaires
- terminer la documentation
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment