Premium
Software tools for first‐order logic
Author(s) -
Cunningham R. James,
ZappacostaAmboldi Silvana
Publication year - 1983
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380131106
Subject(s) - suite , computer science , task (project management) , programming language , software , order (exchange) , software engineering , theoretical computer science , engineering , systems engineering , archaeology , finance , economics , history
A suite of software tools for the manipulation and validation of first‐order logic expressions is presented. The suite ponsists of a collection of modules, each performing a precise and well‐defined task. More sophisticated tasks such as theorem proving can be achieved by concatenating modules and interacting at suitable stages.