F.2 Library predicates
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Summary
        • Library predicates
          • library(aggregate)
          • library(ansi_term)
          • library(apply)
          • library(assoc)
          • library(broadcast)
          • library(charsio)
          • library(check)
          • library(clpb)
          • library(clpfd)
          • library(clpqr)
          • library(csv)
          • library(dcgbasics)
          • library(dcghighorder)
          • library(debug)
          • library(dicts)
          • library(error)
          • library(fastrw)
          • library(explain)
          • library(help)
          • library(gensym)
          • library(heaps)
          • library(increval)
          • library(intercept)
          • library(iostream)
          • library(listing)
          • library(lists)
          • library(main)
          • library(occurs)
          • library(option)
          • library(optparse)
          • library(ordsets)
          • library(persistency)
          • library(portraytext)
          • library(predicate_options)
          • library(prologdebug)
          • library(prologjiti)
          • library(prologpack)
          • library(prologxref)
          • library(pairs)
          • library(pio)
          • library(random)
          • library(rbtrees)
          • library(readutil)
          • library(record)
          • library(registry)
          • library(settings)
          • library(simplex)
          • library(statistics)
          • library(terms)
          • library(ugraphs)
          • library(url)
          • library(www_browser)
          • library(solution_sequences)
          • library(thread)
          • library(thread_pool)
          • library(varnumbers)
          • library(yall)
    • Packages

F.2.57 library(yall)

//2Shorthand for‘Free/[]>>Lambda`.
//3Shorthand for‘Free/[]>>Lambda`.
//4Shorthand for‘Free/[]>>Lambda`.
//5Shorthand for‘Free/[]>>Lambda`.
//6Shorthand for‘Free/[]>>Lambda`.
//7Shorthand for‘Free/[]>>Lambda`.
//8Shorthand for‘Free/[]>>Lambda`.
//9Shorthand for‘Free/[]>>Lambda`.
>>/2Calls a copy of Lambda.
>>/3Calls a copy of Lambda.
>>/4Calls a copy of Lambda.
>>/5Calls a copy of Lambda.
>>/6Calls a copy of Lambda.
>>/7Calls a copy of Lambda.
>>/8Calls a copy of Lambda.
>>/9Calls a copy of Lambda.
is_lambda/1True if Term is a valid Lambda expression.
lambda_calls/2Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.
lambda_calls/3Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.