fork download 
  1. is_tall(peter).
  2. is_short(john).
  3. is_short(greg).
  4. :-findall(X,is_tall(X),Res), length(Res,1), write(yes).
Success #stdin #stdout 0.03s 6204KB
comments (?)
stdin 
Standard input is empty
stdout 
yes
https://ideone.com/zkSpuO
language:
Prolog (swi 7.6.4)
created:
11 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!