From 24bfa426ab3ded14544c69b88350ea3bc8d76768 Mon Sep 17 00:00:00 2001 From: Tibo De Peuter Date: Mon, 19 May 2025 09:12:37 +0200 Subject: [PATCH] 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) :-