Techniques of Prolog programming with implementation of logical negation and quantified goals

• Main Author: Le Van, T.
• Format: Book
• Language: English
• Published: New York John Wiley & Sons 1993
• Subjects: Prolog (Γλώσσα προγραμματισμού)