FALDO is a vocabulary for specifying locations of sequence features along sequence intervals (DNA, RNA, or protein sequences). This module provides convenient wrappers for this vocabulary.

 location(?F:faldo_feature, ?L:faldo_location) is nondet

L is the location of feature F

 location(?F, ?L, ?B, ?E, ?R) is nondet

 location(?F, ?B, ?E, ?R) is nondet

feature F has location L, which has starts at B, ends at E, on reference R

assumes feature is not split across references

 begin(?L, ?P) is nondet

location L starts at position P

 end(?L, ?P) is nondet

location L ends at position P

 begin_coord(?L, ?C, ?R) is nondet

location L has start coordinate value C on reference R

 end_coord(?L, ?C, ?R) is nondet

location L has end coordinate value C on reference R

 position(?L, ?P) is nondet

location L has position P

 reference(?L, ?R) is nondet

location L has reference R

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 location(Arg1, Arg2, Arg3, Arg4)

 stranded_location(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 feature_contains(Arg1, Arg2)