Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Subscribe to:
Post Comments (Atom)
1 comment:
kalian bisa mainkan judi slot online disini
https://www.jackpot168slot.com
Post a Comment