DEVHIDE
Login Or Sign up

List Question

16
339
Views

Term expansion for a list of terms

Published on
#macros #prolog #metaprogramming #prolog-defaulty
842
Views

Prolog - subsitution and evaluation

Published on
#prolog #prolog-defaulty
167
Views

prolog catch all clause that's only active if no other clause is

Published on
#prolog #modal-logic #prolog-defaulty
123
Views

Controlling Prolog variable value selection

Published on
#prolog #evaluation #prolog-defaulty
469
Views

Prolog: how to do "check(a++b++c++d equals d++a++c++b) -> yes"

Published on
#prolog #combinatorics #gnu-prolog #prolog-defaulty
686
Views

Tree leaf traversal in Prolog

Published on
#prolog #prolog-defaulty
275
Views

Constraints over arbitrary length sublists using CLP(FD)

Published on
#prolog #clpfd #prolog-defaulty
51
Views

Extracting symbols from a given formula

Published on
#prolog #prolog-defaulty
69
Views

How to write Prolog - defining basic operators?

Published on
#prolog #prolog-defaulty
2.9k
Views

Prolog - formulas in propositional logic

Published on
#prolog #dcg #prolog-defaulty
1.2k
Views

Deep Reverse in PROLOG - Lists

Published on
#prolog #nested-lists #declarative-programming #prolog-defaulty
1k
Views

Setting types of unbound variables in Prolog

Published on
#prolog #prolog-defaulty
4.1k
Views

Prolog - simplify derivative

Published on
#prolog #simplify #prolog-defaulty
358
Views

CLPFD domain declaration with in or inequalities

Published on
#prolog #clpfd #prolog-defaulty
266
Views

Combing generator results and writing result to stream

Published on
#prolog #prolog-defaulty #prolog-metainterpreter
100
Views

Constrain integer to be in set

Published on
#prolog #clpfd #prolog-defaulty

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.