From e087e5f29fb916835f59580fd93ad8d69339365b Mon Sep 17 00:00:00 2001 From: Tibo De Peuter Date: Mon, 19 May 2025 08:28:51 +0200 Subject: [PATCH 1/2] Rename cont. to del.con. --- examples/demo.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/demo.pl b/examples/demo.pl index ed94765..229e584 100644 --- a/examples/demo.pl +++ b/examples/demo.pl @@ -28,8 +28,8 @@ options :- writeln('(1) A password prompt basics password.pl'), writeln('(2) Add i in [a..b] maths summer.pl'), writeln('(3) A translator meta mib_voorbeelden.pl'), - writeln('(4) A tale of a ceremony cont. ceremony.pl'), - writeln('(5) Maths with Shift/Reset cont. continuations.pl'), + writeln('(4) A tale of a ceremony del.con. ceremony.pl'), + writeln('(5) Maths with Shift/Reset del.con. continuations.pl'), % writeln('(6) Alternative lists meta my_list.pl'), nl, writeln('(interpreter) to enter the interpreter'), From 24bfa426ab3ded14544c69b88350ea3bc8d76768 Mon Sep 17 00:00:00 2001 From: Tibo De Peuter Date: Mon, 19 May 2025 09:12:37 +0200 Subject: [PATCH 2/2] chore: Small cleanups --- examples/basics/password.pl | 6 +++--- examples/demo.pl | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/examples/basics/password.pl b/examples/basics/password.pl index 7322247..55d5054 100644 --- a/examples/basics/password.pl +++ b/examples/basics/password.pl @@ -1,13 +1,13 @@ login :- - getdata(_, _), + getdata, writeln('Welcome!'). login :- repeat, writeln('Sorry, you are not permitted.'), - getdata(_, _), + getdata, writeln('Welcome'). -getdata(Name, Password) :- +getdata :- write('Username: '), read(Name), write('Password: '), diff --git a/examples/demo.pl b/examples/demo.pl index 229e584..ce07040 100644 --- a/examples/demo.pl +++ b/examples/demo.pl @@ -155,7 +155,7 @@ continue :- write('Write anything to continue... '), read(_). -clear :- clear(30). +clear :- clear(50). clear(0) :- !. clear(N) :-