# I am proud to present my first OEIS numbers with the help of swi-prolog

**URL:** <https://swi-prolog.discourse.group/t/i-am-proud-to-present-my-first-oeis-numbers-with-the-help-of-swi-prolog/8759>\
**Category:** Discussion\
**Created:** [January 28, 2025, 7:49pm UTC](https://swi-prolog.discourse.group/t/i-am-proud-to-present-my-first-oeis-numbers-with-the-help-of-swi-prolog/8759 "2025-01-28T19:49:10Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Frank\_Schwidom](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/frank_schwidom/32/7662_2.png) [@Frank\_Schwidom](https://swi-prolog.discourse.group/u/Frank_Schwidom)\
**Post date:** [January 28, 2025, 7:49pm UTC](https://swi-prolog.discourse.group/t/i-am-proud-to-present-my-first-oeis-numbers-with-the-help-of-swi-prolog/8759/1 "2025-01-28T19:49:10Z")

</div>

Currently they are only in a proposed draft state.

[https://oeis.org/A380518](https://oeis.org/A380518)  
[https://oeis.org/A380610](https://oeis.org/A380610)

And the code is here:

> **[research/cnf\_enumeration/swi-prolog\_001 at master · schwidom/research](https://github.com/schwidom/research/tree/master/cnf_enumeration/swi-prolog_001)**
>
> research. Contribute to schwidom/research development by creating an account on GitHub.

I would be glad to read your thoughts.