Sign Up

Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.

Have an account? Sign In

Have an account? Sign In Now

Sign In

Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.

Sign Up Here

Forgot Password?

Don't have account, Sign Up Here

Forgot Password

Lost your password? Please enter your email address. You will receive a link and will create a new password via email.

Have an account? Sign In Now

You must login to ask a question.

Forgot Password?

Need An Account, Sign Up Here

Please briefly explain why you feel this question should be reported.

Please briefly explain why you feel this answer should be reported.

Please briefly explain why you feel this user should be reported.

Sign InSign Up

The Archive Base

The Archive Base Logo The Archive Base Logo

The Archive Base Navigation

  • Home
  • SEARCH
  • About Us
  • Blog
  • Contact Us
Search
Ask A Question

Mobile menu

Close
Ask a Question
  • Home
  • Add group
  • Groups page
  • Feed
  • User Profile
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Buy Points
  • Users
  • Help
  • Buy Theme
  • SEARCH
Home/ Questions/Q 6777267
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Editorial Team
Asked: May 26, 20262026-05-26T16:07:39+00:00 2026-05-26T16:07:39+00:00

What does .. mean in Prolog? I have this code: Goal=.. [GoalPredicate|Pos] and I

  • 0

What does “..” mean in Prolog?

I have this code:

Goal=.. [GoalPredicate|Pos]

and I don’t know what the “..” means

  • 1 1 Answer
  • 0 Views
  • 0 Followers
  • 0
Share
  • Facebook
  • Report

Leave an answer
Cancel reply

You must login to add an answer.

Forgot Password?

Need An Account, Sign Up Here

1 Answer

  • Voted
  • Oldest
  • Recent
  • Random
  1. Editorial Team
    Editorial Team
    2026-05-26T16:07:39+00:00Added an answer on May 26, 2026 at 4:07 pm

    This operator is called “univ” and described in for instance the GNU Prolog Manual here:

    8.4.3 (=..)/2 – univ

    Templates

    =..(+nonvar, ?list)
    =..(-nonvar, +list)
    

    Description

    Term =.. List succeeds if List is a list whose head is the atom corresponding to the principal functor of Term and whose tail is a list of the arguments of Term.

    =.. is a predefined infix operator (section 8.14.10).

    Other good resources describing this operator:

    • PROLOG 12.1 More Useful Features of PROLOG
    • http://wwwcgi.rdg.ac.uk:8081/cgi-bin/cgiwrap/wsi14/poplog/prolog/ploghelp/univ
    • 0
    • Reply
    • Share
      Share
      • Share on Facebook
      • Share on Twitter
      • Share on LinkedIn
      • Share on WhatsApp
      • Report

Sidebar

Related Questions

Since Erlang is based upon Prolog, does this mean that Erlang is a Constraint-Logic
What does this mean exactly? I'm doing something like this: File.Copy(@\\foo\bar\baz.txt, @c:\test\baz.txt); MSDN doesn't
What does it mean that a Transaction Log is Full? I have it the
What does it mean if I receive this warning? Does it mean the project
does this mean the image will be locked in place no matter what's around
Possible Duplicate: Reference - What does this symbol mean in PHP? In PHP what
Possible Duplicates: Reference - What does this symbol mean in PHP? What does @
I know its simple but: fieldset label.inline does mean that all labls with the
What does mean this line during serialization? [XmlType(AnonymousType = true)] public class classname {
What does * mean in XAML. I have a grid of width 400. And

Explore

  • Home
  • Add group
  • Groups page
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Users
  • Help
  • SEARCH

Footer

© 2021 The Archive Base. All Rights Reserved
With Love by The Archive Base

Insert/edit link

Enter the destination URL

Or link to existing content

    No search term specified. Showing recent items. Search or use up and down arrow keys to select an item.