# Picat style matching

**URL:** <https://swi-prolog.discourse.group/t/picat-style-matching/3560>\
**Category:** Request For Comments\
**Tags:** ssu\
**Created:** [February 4, 2021, 2:46pm UTC](https://swi-prolog.discourse.group/t/picat-style-matching/3560 "2021-02-04T14:46:48Z")\
**Posts on this page:** 1\
**Showing post:** 62

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [January 31, 2022, 10:43pm UTC](https://swi-prolog.discourse.group/t/picat-style-matching/3560/62 "2022-01-31T22:43:12Z")

</div>

> [@gilbert](#):
>
> How would one use it in other Prolog environments that don’t implement it natively?

I have not tried what you seek but a place to start is on this [page](https://www.swi-prolog.org/pldoc/man?section=ssu) look for `This is semantically equivalent to the Prolog clause below. `

Also there are GitHub commits that convert Prolog using `:-` to `->` so if you find them, just do the reverse. Also see: [Example of refactoring code to SSU](https://swi-prolog.discourse.group/t/example-of-refactoring-code-to-ssu/4713)

---

_[View the full topic](https://swi-prolog.discourse.group/t/picat-style-matching/3560)._