Article View: comp.lang.prolog
Article #203To all who posted supposedly solutions of J.W. Lloyds example
From: Jan Stout
Date: Wed, 15 Apr 1992 10:12
Date: Wed, 15 Apr 1992 10:12
9 lines
735 bytes
735 bytes
You all assume that :- means logical equivalence, i.e. <->, but I was taught that it means logical consequence, i.e. <-. Surely the :- looks more like an <- than like a <->. I was even told that the :- was designed to look like the --in most charactersets absent-- \leftarrow symbol. Jan Stout.
Technical Details
Message-ID:
<3729@tuegate.tue.nl>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!tuegate.tue.nl!rwa.urc.tue.nl!wsbusup4Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!tuegate.tue.nl!rwa.urc.tue.nl!wsbusup4 From: wsbusup4@rwa.urc.tue.nl (Jan Stout) Newsgroups: comp.lang.prolog Subject: To all who posted supposedly solutions of J.W. Lloyds example Message-ID: <3729@tuegate.tue.nl> Date: 15 Apr 92 10:12:15 GMT Sender: root@tuegate.tue.nl Reply-To: wsbusup4@urc.tue.nl Organization: Eindhoven University of Technology, The Netherlands Lines: 9