Prolog compiler correctness

Hi, all.


    I'm writing a Prolog compiler that compiles Prolog code into Warren
Abstract Machine code, which in turn has an assembler that executes
the WAM code (pretty conventional). I'm not a professional compiler
writer, so my question for those of you who wrote Prolog compilers
before:


how do you go about testing it? Is there a formal suite of tests that
you run? (Note: I'm only concerned about Prolog correctness, NOT
ISO-Prolog compatibility).


how big are the programs that you test?


Do you only test Prolog code? or are there test suite in WAM Assembly
language to test WAM correctness?


And for people who worked on popular open source Prolog compiler
projects (SWI, GNU..etc), what kind of test suite do you run after
each build?


I searched on google about this topic, but only found
theoretical/math-intensive papers about formal proofs, which didn't
really help me that well. I would highly appreciate it if someone can
refer me to a test suite/methodology/document to start off with.


Thanks a lot!

Return to the comp.compilers page.
Search the comp.compilers archives again.