Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save LamentConfiguration/61a3b7ba4c7be687f792b7c1d0e505b7 to your computer and use it in GitHub Desktop.
Save LamentConfiguration/61a3b7ba4c7be687f792b7c1d0e505b7 to your computer and use it in GitHub Desktop.
islist/weak_islist
islist([A|B]):-islist(B).
islist([]).
weak_islist([]).
weak_islist([_|_]).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment