Skip to content

Instantly share code, notes, and snippets.

@buzztaiki

buzztaiki/truth.prolog

Last active April 12, 2022 03:51
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save buzztaiki/95595572138c5a1669a080c1c91381ff to your computer and use it in GitHub Desktop.
Save buzztaiki/95595572138c5a1669a080c1c91381ff to your computer and use it in GitHub Desktop.
Download ZIP
Arch is the best!
Raw
truth.prolog
truth('Arch', 'is the best!').
@buzztaiki
Copy link
Author

https://wiki.archlinux.org/title/Arch_is_the_best

@buzztaiki
Copy link
Author 

❱❱ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.4.2)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- consult('truth').
true.

?- truth('Arch', X).
X = 'is the best!'.

?- truth('Ubuntu', X).
false.

?- truth(X, 'is the best!').
X = 'Arch'.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment