Article View: comp.lang.prolog
Article #4353Wang Alg.
From: fred
Date: Fri, 23 May 1997 00:00
Date: Fri, 23 May 1997 00:00
9 lines
714 bytes
714 bytes
I would be really grateful if anybody could send me a Prolog implementation of Wang's Algorithm, so that I can save time in my studies. Wang's Algorithm is about proving that a CP0 clause is a logic consequence of some others... Suggestions are welcome. Thanks in advance!
Technical Details
Message-ID:
<33856C57.1528@mx2.redestb.es>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f907c,85e0d03ef1f5ac07,start X-Google-Attributes: gidf907c,public X-Google-Thread: 1217ff,85e0d03ef1f5ac07,start X-Google-Attributes: gid1217ff,public From: fred <danivecino@mx2.redestb.es> Subject: Wang Alg. Date: 1997/05/23 Message-ID: <33856C57.1528@mx2.redestb.es> X-Deja-AN: 243284483 Organization: Redes Tb Newsgroups: comp.lang.prolog,fj.lang.prolog