Publication:3789101
From MaRDI portal
zbMath0645.68097MaRDI QIDQ3789101
Publication date: 1988
pattern matching; logic programming; higher-order unification; inference rules; theorem provers; \(\lambda \) Prolog
DB lookup for MSC labels failed
Related Items
Using typed lambda calculus to implement formal systems on a machine, Theo: An interactive proof development system, Unification under a mixed prefix, Implementing tactics and tacticals in a higher-order logic programming language, A proof procedure for the logic of hereditary Harrop formulas, Program tactics and logic tactics
Uses Software