Prolog Experiments in Discrete Mathematics, Logic, and Computability

Prolog Experiments in Discrete Mathematics, Logic, and Computability

瀏覽:549
日期:2024-07-20
5 1 Introduction to Prolog The Prolog language allows us to explore a wide range of topics in discrete mathematics, logic, and computability. Prolog’s powerful pattern-matching ability and its computation rule give us the ability to experiment in two dire...看更多