|Looking for logic programming benchmarks firstname.lastname@example.org (1993-06-02)|
|From:||email@example.com (John Maraist)|
|Keywords:||prolog, functional, benchmarks, question|
|Organization:||Computer Science Dept., Tulane Univ., New Orleans, LA|
|Date:||Wed, 2 Jun 1993 20:58:43 GMT|
I am looking for good and/or standard benchmark programs for logic
In particular, I am working on an implementation of a functional language
that incorporates logic programming via set-abstraction (something
reminiscient of Darlington's "absolute set abstraction"), so any
benchmarking ideas for such a system in particular would be especially
I would appreciate any such programs, or references to them, that any of
you might be able to send. Please reply to:
I'll post a summary to the net.
Return to the
Search the comp.compilers archives again.