Did you know? You can interface C++ to SWI-PrologSearch Documentation:

- Home
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Intermediate▶
- Advanced▶
- Try SWI-Prolog online

- COMMUNITY
- USERS
- WIKI

append/2 | Concatenate a list of lists. |

append/3 | List1AndList2 is the concatenation of List1 and List2. |

delete/3 | Delete matching elements from a list. |

flatten/2 | Is true if List2 is a non-nested version of List1. |

intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. |

is_set/1 | True if Set is a proper list without duplicates. |

last/2 | Succeeds when Last is the last element of List. |

list_to_set/2 | True when Set has the same elements as List in the same order. |

max_list/2 | True if Max is the largest number in List. |

max_member/2 | True when Max is the largest member in the standard order of terms. |

member/2 | True if Elem is a member of List. |

min_list/2 | True if Min is the smallest number in List. |

min_member/2 | True when Min is the smallest member in the standard order of terms. |

nextto/3 | True if Y follows X in List. |

nth0/3 | True when Elem is the Index'th element of List. |

nth0/4 | Select/insert element at index. |

nth1/3 | Is true when Elem is the Index'th element of List. |

nth1/4 | As nth0/4, but counting starts at 1. |

numlist/3 | List is a list [Low, Low+1, ... High]. |

permutation/2 | True when Xs is a permutation of Ys. |

prefix/2 | True iff Part is a leading substring of Whole. |

proper_length/2 | True when Length is the number of elements in the proper list List. |

reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. |

same_length/2 | Is true when List1 and List2 are lists with the same number of elements. |

select/3 | Is true when List1, with Elem removed, results in List2. |

select/4 | Select from two lists at the same positon. |

selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. |

selectchk/4 | Semi-deterministic version of select/4. |

subset/2 | True if all elements of SubSet belong to Set as well. |

subtract/3 | Delete all elements in Delete from Set. |

sum_list/2 | Sum is the result of adding all numbers in List. |

union/3 | True if Set3 unifies with the union of Set1 and Set2. |

Tag confusing pages with **doc-needs-help**|Tags are associated to your profile if you are logged in

Tags: