From: Mark Thom Date: Wed, 3 Apr 2019 13:13:26 +0000 (-0300) Subject: Merge pull request #83 from pmoura/add_forall_2_predicate X-Git-Tag: v0.8.110~124 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9ad809680dc5337991892934c4aad73c16e9be74;p=scryer-prolog.git Merge pull request #83 from pmoura/add_forall_2_predicate add de facto standard forall/2 predicate as a built-in predicate --- 9ad809680dc5337991892934c4aad73c16e9be74