Implication in Prolog (sigh...)

Article View: comp.lang.prolog

Article #1476

#1476

From: brady
Date: Fri, 30 Nov 1990 15:53

9 lines
611 bytes

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

Technical Details

Message-ID: <1990Nov30.155356.7584@swift.cs.tcd.ie>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!tcdcs!swift.cs.tcd.ie!brady

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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