Thread View: net.lang.prolog
1 messages
1 total messages
Started by Douglas Baldwin
Tue, 23 Sep 1986 12:58
"For All" in Prolog - Thanks
Author: Douglas Baldwin
Date: Tue, 23 Sep 1986 12:58
Date: Tue, 23 Sep 1986 12:58
14 lines
1067 bytes
1067 bytes
Thanks to everyone who answered my question a few
weeks ago about implementing "for all" in Prolog. The general
consensus was that
forall X in S, Body
can be re-expressed as
"there is no X in S such that Body doesn't hold"
which can be written in Prolog as
not( In_S(X), not Body(X,...) )
(This is a mix of syntaxes from several Prologs, my original
description of the problem, etc., but the idea is clear I
hope.) This is clearly what I need. Special thanks to
Lee Naish, David Morley, Heiner Marxen and Steve Jones for
their discussions of this solution.
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads