How to Properly Return Two Values in Prolog

This guide explains how to effectively return two values in Prolog, highlighting the common mistakes and providing a clear, structured solution to fixing your code.
---
This video is based on the question https://stackoverflow.com/q/71188788/ asked by the user 'Jimmy' ( https://stackoverflow.com/u/15444600/ ) and on the answer https://stackoverflow.com/a/71188992/ provided by the user 'Stanislav Ivanov' ( https://stackoverflow.com/u/4265407/ ) at 'Stack Overflow' website. Thanks to these great users and Stackexchange community for their contributions.

Visit these links for original content and any more details, such as alternate solutions, latest updates/developments on topic, comments, revision history etc. For example, the original title of the Question was: How to "return" two values in prolog

Also, Content (except music) licensed under CC BY-SA https://meta.stackexchange.com/help/licensing
The original Question post is licensed under the 'CC BY-SA 4.0' ( https://creativecommons.org/licenses/by-sa/4.0/ ) license, and the original Answer post is licensed under the 'CC BY-SA 4.0' ( https://creativecommons.org/licenses/by-sa/4.0/ ) license.

If anything seems off to you, please feel free to write me at vlogize [AT] gmail [DOT] com.
---
A Guide to Returning Two Values in Prolog

Prolog is a powerful logical programming language that allows developers to express complex relationships and tasks with relatively simple code. One common challenge that Prolog developers face is needing to return multiple values from a function. If you’ve ever found yourself in a situation where you needed to retrieve two separate pieces of data from a single function, you’re not alone. In this post, we’ll explore how to return two values in Prolog and identify a common mistake that can lead to confusion and errors in your code.

Understanding the Problem

The task at hand involves needing to create a function called goal_negative_positions, which aims to return two outputs:

The count of negative elements in a list.

The positions (indexes) of those negative elements.

You might have already written two separate functions: one for counting the negative numbers in a list (negative_count) and another for collecting their positions in the list (negative_positions). However, you’re struggling to get this new function, goal_negative_positions, to work correctly since it always returns false. Let’s dive into the solution.

Common Mistake in Prolog

In Prolog, variables that start with a lowercase letter are treated as constants, which can lead to unexpected results if you're trying to pass values between functions. In the original definition of goal_negative_positions, the count argument was incorrectly initialized with a lowercase letter. This means Prolog treated it as a constant instead of a variable, resulting in a failure to correctly return the intended values.

Here’s the problematic line from the original function:

[[See Video to Reveal this Text or Code Snippet]]

Since count is being interpreted as a constant, the function doesn’t work as intended. To fix this, we need to start Count with a capital letter to ensure it is treated as a variable.

The Solution

Let's modify the goal_negative_positions function to correctly return the values. Here’s the corrected code:

[[See Video to Reveal this Text or Code Snippet]]

Key Changes Explained

Capitalization: The argument Count now starts with an uppercase letter, making it a variable instead of a constant.

This change allows Count to store the actual count of negative elements returned by negative_count.

Flow of Logic: The corrected line properly states that negative_count(Start, Count) can flow with the count value being updated dynamically as the code runs.

Summary

To effectively return multiple values in Prolog, it’s crucial to pay attention to how you define your variables. Always use capitalization for variables you want to keep dynamic. This simple yet often overlooked detail can save you from frustration and ensure that your functions work as expected.

With this understanding, you can confidently go forward and tackle your Prolog projects with clearer insight into how to return multiple values. Happy coding!

Видео How to Properly Return Two Values in Prolog канала vlogize