SWI-Prolog -- is_lambda/1

A.63 library(yall): Lambda expressions

All Application Manual Name SummaryHelp

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(yall): Lambda expressions
      - >>/2
      - >>/3
      - >>/4
      - >>/5
      - >>/6
      - >>/7
      - >>/8
      - >>/9
      - //2
      - //3
      - //4
      - //5
      - //6
      - //7
      - //8
      - //9
      - is_lambda/1
      - lambda_calls/2
      - lambda_calls/3
- Packages

Availability::- use_module(library(yall)).(can be autoloaded)

Source

[semidet]is_lambda(@Term)

True if Term is a valid Lambda expression.