Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

Register Log in
  • Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Search results for query: *

  • Users: 4L
  • Order by date
  1. 4L

    Facts in Prolog

    Hi guys, My background is not in Computer Science and I´m curious about the thin red line between Model Theory and Interpretation on one side, and Proof Theory on the other side, combining alltogether in Prolog. The same is to say between one Deduction Theory and the notion, again, of one...
    • 4L
    • Thread
    • Replies: 0
    • Forum: Prolog

Part and Inventory Search

Back
Top