Looking for logic programming benchmarks 
Author Message
 Looking for logic programming benchmarks

I am looking for good and/or standard benchmark programs for logic
programming systems.

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
useful.

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.

Thanks,
John Maraist
--

{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.



Mon, 20 Nov 1995 04:58:43 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Looking for logic programming benchmarks

2. Logic Programming problems and 'benchmarks'

3. PROgramming in LOGic: LOGIC knowledge desirable??

4. Benchmarks for an Abstract machine based on Linear logic

5. CFP: PLILP93 Programming Language Implementation and Logic Programming

6. CFP: PLILP'93 (Programming Language Implementation and Logic Programming)

7. Logic Programming as an Introductory Programming Paradigm

8. Logic Programming an Introductory Programming Paradigm

9. Program Dependence Graph for logic programs ?

10. PhD Programs in Logic Programming

11. Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

12. CFP: PLILP93 Programming Language Implementation and Logic Programming

 

 
Powered by phpBB® Forum Software