Contact US

Log In

Come Join Us!

Are you a
Computer / IT professional?
Join Tek-Tips Forums!
  • Talk With Other Members
  • Be Notified Of Responses
    To Your Posts
  • Keyword Search
  • One-Click Access To Your
    Favorite Forums
  • Automated Signatures
    On Your Posts
  • Best Of All, It's Free!

*Tek-Tips's functionality depends on members receiving e-mail. By joining you are opting in to receive e-mail.

Posting Guidelines

Promoting, selling, recruiting, coursework and thesis posting is forbidden.

Students Click Here

Facts in Prolog

Facts in Prolog

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 symbolic interpretation.
There is this circumsntace in Prolog that for whichever fact asked, you can answer back with a final period dot and, even though, non standard, that is a Prolog Fact, reason itself for you to be risky trying out other symbolic declarations.
I´ll post more questionnaires and doubts of the type, but for the case, let´s imagine the so muhc philosophical statement "Something is more than nothing."
I´ve sketched out some answers and I would appreciate your impression and ideas about it


is_more_than_nothing(something). %or%
+(1,0). %or%
more_than(something, nothing). %or%
something _is_more_than_nothing. %or%
mod(1,1,0). %or%
^(0,(=<1)). %or%
derivable(N, 0). %or%
s(0,1). %or%
a(a +0).

Thanks in advance, I´m curious

Red Flag This Post

Please let us know here why this post is inappropriate. Reasons such as off-topic, duplicates, flames, illegal, vulgar, or students posting their homework.

Red Flag Submitted

Thank you for helping keep Tek-Tips Forums free from inappropriate posts.
The Tek-Tips staff will check this out and take appropriate action.

Reply To This Thread

Posting in the Tek-Tips forums is a member-only feature.

Click Here to join Tek-Tips and talk with other members! Already a Member? Login

Close Box

Join Tek-Tips® Today!

Join your peers on the Internet's largest technical computer professional community.
It's easy to join and it's free.

Here's Why Members Love Tek-Tips Forums:

Register now while it's still free!

Already a member? Close this window and log in.

Join Us             Close