Path: utzoo!attcan!uunet!mcsun!ukc!tcdcs!swift.cs.tcd.ie!brady
From: brady@swift.cs.tcd.ie
Newsgroups: comp.lang.prolog
Subject: Implication in Prolog (sigh...)
Message-ID: <1990Nov30.155356.7584@swift.cs.tcd.ie>
Date: 30 Nov 90 15:53:56 GMT
Organization: Computer Science Department, Trinity College Dublin
Lines: 9

This is a really ignorant question, but I don't use C Prolog at all...
Is the -> predicate meant to mean some kind of implication?
Is it defined as if by the following:
A -> B :- call(A),call(B).

Has it got something to do with unsound negation?

Mike Brady
brady@cs.tcd.ie


Brought to you by Super Global Mega Corp .com