Recursive program fixpoint as a term

Thread View: comp.lang.prolog

1 messages

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

1 total messages Started by Greg Bond Mon, 21 Dec 1992 17:35

#2151

Author: Greg Bond
Date: Mon, 21 Dec 1992 17:35

8 lines
775 bytes

In the discussion concerning the occurs check, two respondents
mentioned representing recursive program fixpoints as terms. Could
someone give me some references on this topic?

--
Greg Bond   ----->   bond@sce.carleton.ca  (613) 788 2600 (ext.1835)
Dept. of Systems and Computer Engineering, Carleton University
Ottawa, ON, Canada K1S 5B6

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