Domain Analysis for Prolog Programs

Thread View: comp.lang.prolog

1 messages

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

1 total messages Started by Benjamin Yu Mon, 02 Nov 1992 15:44

#37

Author: Benjamin Yu
Date: Mon, 02 Nov 1992 15:44

9 lines
715 bytes

Can anyone direct me to recent work on domain analysis of Prolog programs,
specifically, given a Prolog program, how can I go about determining the
domain each argument of a predicate may take on?  I would like to be able
to determine more than just the type of each argument but, if possible, the
range of values, eg. list of length no greater than n, all positive
integers, etc..

Thanks!
Benjamin Yu

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