Wang Alg.

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by fred Fri, 23 May 1997 00:00

#4353

Author: fred
Date: Fri, 23 May 1997 00:00

9 lines
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!

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